#pragma warning(disable : 4996)
//#include<stdio.h>
//int main()
//{
//	int j, i;
//	int arr[][4] = { {1,2,3,4,},{7,8,9,10},{18,45,99,55} };
//	for (i = 0; i < 3; i++)
//	{
//		for (j = 0; j < 4; j++)
//		{
//			printf("%-3d", arr[i][j]);
//			if (j == 3)
//				printf("\n");
//		}
//	}
//
//
//
//	re
//#include<stdio.h>
//int main()
//{
//	printf("                ********\n");
//	printf("               ************\n");
//	printf("               ####....#.\n");
//	printf("             #..###.....##....\n");
//	printf("             ###.......######              ###            ###\n");
//	printf("                ...........               #...#          #...#\n");
//	printf("               ##*#######                 #.#.#          #.#.#\n");
//	printf("            ####*******######             #.#.#          #.#.#\n");
//	printf("           ...#***.****.*###....          #...#          #...#\n");
//	printf("           ....**********##.....           ###            ###\n");
//	printf("           ....****    *****....\n");
//	printf("             ####        ####\n");
//	printf("           ######        ######\n");
//	printf("##############################################################\n");
//	printf("#...#......#.##...#......#.##...#......#.##------------------#\n");
//	printf("###########################################------------------#\n");
//	printf("#..#....#....##..#....#....##..#....#....#####################\n");
//	printf("##########################################    #----------#\n");
//	printf("#.....#......##.....#......##.....#......#    #----------#\n");
//	printf("##########################################    #----------#\n");
//	printf("#.#..#....#..##.#..#....#..##.#..#....#..#    #----------#\n");
//	printf("##########################################    ############\n");
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
//	char a;
//	scanf("%c", &a);
//	printf("  %c\n",a);
//	printf(" %c%c%c\n",a,a,a);
//	printf("%c%c%c%c%c\n",a,a,a,a,a);
//
//
//
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
//	int a, b;
//	scanf("%d %d", &a, &b);
//	printf("%d", a * b);
//
//
//
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
//	char a;
//	scanf("%c", &a);
//	printf("%c", a - 32);
//
//
//	return 0;
//}
// 
// 

//#include<stdio.h>
//int main()
//{
//	char arr[6] = {};
//	for (int i = 0; i < 5; i++)
//		scanf("%c", &arr[i]);
//	for (int i = 4; i >= 0; i--)
//		printf("%c", arr[i]);
//	return 0;
//}
// 




// 
//#include<stdio.h>
//int main()
//{
//	float l;
//	int n;
//	scanf("%f %d", &l,&n);
//	printf("%.3f\n",l/n);
//	printf("%d", 2 * n);
//	return 0;
//}
#include<stdio.h>
#include<math.h>
int main()
{
	float a, b, c;
	scanf("%f %f %f", &a, &b, &c);
	float p = 0.5 * (a + b + c);
	printf("%.1f", sqrt(p * (p - a) * (p - b) * (p - c)));
	return 0;
}